Finite-time Mittag–Leffler synchronization of fractional-order delayed memristive neural networks with parameters uncertainty and discontinuous activation functions
Chen Chong, Ding Zhixia, Li Sai, Wang Liheng
Hubei Key Laboratory of Optical Information and Pattern Recognition, School of Electrical and Information Engineering, Wuhan Institute of Technology, Wuhan 430205, China

 

† Corresponding author. E-mail: zxding89@163.com

Project supported by the National Natural Science Foundation of China (Grant Nos. 61703312 and 61703313).

Abstract

The finite-time Mittag–Leffler synchronization is investigated for fractional-order delayed memristive neural networks (FDMNN) with parameters uncertainty and discontinuous activation functions. The relevant results are obtained under the framework of Filippov for such systems. Firstly, the novel feedback controller, which includes the discontinuous functions and time delays, is proposed to investigate such systems. Secondly, the conditions on finite-time Mittag–Leffler synchronization of FDMNN are established according to the properties of fractional-order calculus and inequality analysis technique. At the same time, the upper bound of the settling time for Mittag–Leffler synchronization is accurately estimated. In addition, by selecting the appropriate parameters of the designed controller and utilizing the comparison theorem for fractional-order systems, the global asymptotic synchronization is achieved as a corollary. Finally, a numerical example is given to indicate the correctness of the obtained conclusions.

PACS: ;02.30.Yy;
1. Introduction

Over the past decade, the integer-order memristive neural networks (IMNN) have been developed in an unprecedented way and widely used in various fields, such as signal and image processing,[1,2] algorithm optimization,[3] classification and automatic control,[4] and so on. At the same time, the relevant dynamic behaviors have also attracted the attention of many scholars.[58] As a generalization of integer-order calculus (IC), fractional-order calculus (FC) can be dated back to the 17th century. Compared with IC operators, FC operators not only have hereditary and memory characteristics, but also can increase the degree of freedom to improve the performance of the system. So far, FC has been generally applied in neural networks,[9,10] recognition systems,[11,12] communication systems,[13] viscoelasticity of the material,[14] and so on. What is more important, it is necessary to introduce FC operators into memrisitve neural networks to construct a novel fractional-order memristive neural networks (FMNN), which more accurately describe the dynamic performance of the networks. Some interesting results about FMNN have been investigated, such as Refs. [1517].

Undeniably, time delays are unavoidable in electronic and electric circuits due to finite switching speed of the amplifiers in electronic components. Moreover, time delays are one of the important reasons producing instability or oscillation of the systems.[18] Taking such facts into account, time delays should be considered in the FMNN. In the published papers,[17,19,20] time delays have been studied as the main considering object. In fact, neurons may have different communication delays, therefore the study on multiple time delays FMNN has more profound theoretical meanings and applications.[21] It is well known that the system parameters may fluctuate within a certain range due to inaccuracy of the model, environmental noise, external disturbances, and other factors. Meanwhile, parameters uncertainty can produce poor dynamic performance for the systems, such as instability, oscillation, chaos, large steady-state error, and so on.

In addition, to the best of our knowledge, the activation functions of many literature[17,2224] were assumed to be Lipschitz, continuous or continuously differentiable. However, the activation functions of FMNN are usually discontinuous. The main reason is that signal output of neuron and information transmission are discontinuous in actual models.[25,26] In Ref. [25], Forti and Nistri pointed out that the model with discontinuous activation functions can highlight some crucial dynamical behaviors, such as the phenomenon of convergence in finite-time toward the equilibrium point, the presence of sliding modes along discontinuity surfaces, and so on. Considering the fact that various influencing factors could appear when FMNN are applied to the engineering fields such as classification and pattern recognition, it is desirable to explore the dynamical performance about fractional-order delayed memristive neural networks (FDMNN) with parameters uncertainty and discontinuous activation functions.

Synchronization can be regarded as a typical collective behavior, which refers to the coordination of events in a system, and the phenomenon of consistency and unification in time. At noted, synchronization not only can be found in many physical systems, such as power converters and biological systems,[27] but also has been applied to a wide variety of engineering applications like image encryption and information processing.[28] In order to achieve the synchronization, most of the results are obtained to ensure the asymptotic stability of error systems.[2931] However, asymptotic synchronization denotes that it takes infinite time from the trajectories of the response to the trajectory of the drive system.[22,23,32,33] In fact, it is more desirable for networks to reach synchronization in a finite-time and achieve optimization in convergence time in physical and engineering.[3436] Hence, it is necessary to investigate the finite-time synchronization of FMNN.

Up to now, the finite-time synchronization of FMNN has been studied in previous literature.[3741] In Ref. [37], by designing a simple linear feedback controller, the finite-time synchronization of FMNN was derived according to Gronwall–Bellmaan inequality. The finite-time synchronization of FDMNN was achieved by utilizing Lyapunov theory, norm properties, and linear feedback controller in Ref. [38]. In Ref. [39], the authors dealt with the finite-time synchronization for a class of FMNN by considering discontinuous activation functions, employing the Young inequality, and applying the fractional-order Lyapunov stability theory. Some sufficient criteria were obtained to ensure the finite-time projective synchronization of FDMNN by utilizing the linear feedback controller and employing Gronwall–Bellman integral inequality and Volterra-integral equation in Ref. [40]. By using Laplace transform, the generalized Gronwalls inequality and linear feedback control technique, the finite-time Mittag–Leffler synchronization of FMNN was achieved in Ref. [41]. However, it is noteworthy that there are few results on the finite-time Mittag–Leffler synchronizations for a class of FDMNN with parameters uncertainty and discontinuous activation functions.

Inspired by the aforementioned discussions, the finite-time Mittag–Leffler synchronization is investigated for fractional-order delayed memristive neural networks with parameters uncertainty and discontinuous activation functions in this paper. Based on non-smooth analysis theory and the properties of fractional-order Lyapunov functions, the synchronization conditions are put forward under the framework of Filippov. The crucial contributions of this paper are at the following aspects:

Compared with previous results, our model considers the parameters uncertainty and discontinuous activation functions. So, our system is more general.

By designing a new type of discontinuous feedback controller, some sufficient criteria for the synchronization in finite-time are obtained. Meanwhile, the upper bound of the setting time is explicitly evaluated.

By simplifying the designed controller, the asymptotic synchronization of FDMNN with parameters uncertainties and discontinuous activation functions is realized as a corollary.

In this paper, the assumptions about activation functions are more general. Moreover, our results extend the existing results in Refs. [19,32,39].

The organization of this paper is summarized as follows. In Section 2, the system models and some preliminaries are introduced. In Section 3, some sufficient criteria of the finite-time Mittag–Leffler synchronization are established by using the theory of fractional-order differential equations with discontinuous right-hand sides. Subsequently, numerical simulations are given to describe the effectiveness of the obtained conclusions in Section 4. Finally, conclusions are drawn in Section 5.

2. Preliminaries and system description
2.1. Caputo fractional-order derivative

The relevant properties of Caputo fractional-order derivative are as follows.

2.2. System description

In this subsection, a class of FDMNN with the parameters uncertainty and discontinuous activation functions as the drive system is defined by

where α ∈ (0,1), t ≥ 0 and ; x(t) = (x1(t),x2(t),…, denotes the vector of neuron states; di > 0 is the self-regulation parameters neuron; fj(·) and gj(·) denote the discontinuous activation functions; τj ≥ 0 is the transmission delay; Ii denotes the external input; is the initial condition of system (3), where ; Δdi(t), Δaij(t), and Δbij(t) are the parameter uncertainties and bounded, defined by

where ωi ≥ 0, πij ≥ 0, and ρij ≥ 0. Meanwhile, di > ωi. aij(xj(t)) and bij(xj(tτj)) are the connection memristive weights, defined as

or and or for i,j = 1,2,…,n, where Tj > 0 is switching jump of memristion; , , , and are any constants. The activation functions fi(·) and gi(·) satisfy the following assumption.

The drive system (3) and response system (4) are discontinuous due to the existence of discontinuous activation functions and memristors. Hence, we introduce the concept of Filippov solution to analyze the above systems.

Let the set-valued maps be as follows:

where , and co denotes the convex closure of a set. Clearly, K[aij(xj(t))] and K[bij(xj(tτj))] are all closed, convex, and compact in xj(t) and xj(tτj) respectively.

From Assumption H1, fi(·) and gi(·) possess only isolated jump discontinuities. Hence, for all ,

where , , and , , .

Based on the measurable selection theorem,[46] if xi(t) and yi(t) are a solution of the systems (3) and (4) respectively, then there exist the measurable functions εj(t) ∈ K[fj(xj(t)), εj(t) ∈ K[fj(yj(t)), , , , åij(t) ∈ K[aij(yj(t))], , and , such that

and

In order to obtain our results, it is necessary to give the following assumption for the discontinuous activation functions.

3. Main results

The synchronization error is defined as e(t) = y(t) − x(t) from the drive system (6) and response system (7), the error system can be written as

Next, the Mittag–Leffler synchronization of FDMNN with the parameters uncertainty and discontinuous activation functions are obtained by designing a new type of discontinuous feedback controller. In addition, the upper bound of the setting time of the global Mittag–Leffler synchronization in finite-time is explicitly evaluated.

The discontinuous feedback controller ui(t) is defined as

where i = 1,2,…,n, , , and ιi > 0.

Based on Lemma 1, one has

From expressions (16) and (17), inequality (19) can be written as

According to Lemma 3, one has

According to Theorem 1, one has

where .

From expressions (21) and (22), one has

Based on Lemma 5, we have

Hence, inequality (24) can be concluded as

From inequality (25), we can obtain

which implies that the equilibrium point e* = 0 is Mittag–Leffler stable. Based on the Definition 5, the system (16) is Mittag–Leffler stable, which means that it completes the proof of global Mittag–Leffler synchronization. In the following, the upper bound of the setting time of the global Mittag–Leffler synchronization in finite-time will be given.

From expressions (21) and (22), one also has

There exists a function Λ(t) ≥ 0 such that

Using Property 2, expression (27) can be written as

From Definition 1, one has

Since Λ(t) ≥ 0 for ζ ∈ [0,t], (tζ)α−1 ≥ 0 and Γ(α) > 0. Then

Combining expression (30) and V(t) ≥ 0, we can obtain

Similarly, based on Definition 1, one has

Combining expressions (31) and (32), one also has

After simplification, one has

where . And it implies that the upper bound of the setting time of the global Mittag–Leffler synchronization in finite-time is denoted as

Therefore, the state trajectories of error system (16) will converge to the origin in finite-time. This completes proof.

When the parametric uncertainties Δdi(t) = 0, Δaij(t) = 0, and Δbij(t) = 0. As a special case of Theorem 1, the following result can be obtained.

When the parametric uncertainties Δdi(t) = 0, Δaij(t) = 0, and Δbij(t) = 0, and the transmission delays τi = 0. Based on the controller (17), the following result can be obtained.

When neglecting the effect of ei(tτi) in expression (17), the following controller is designed to achieve the global asymptotic synchronization with the corresponding FDMNN:

where i = 1,2,…,n, ki > 0, qi > 0, and sign(·) denotes symbolic function.

Similar to the above method, one has

According to Corollary 4, we obtain that

From expressions (38) and (39), one has

where and .

Considering the following system

where W(t) ≥ 0 and the initial value condition of W(t) is consistent with V(t).

According to Lemma 2, one has

Obviously, W* = 0 is an equilibrium point of the system (41). Next, we will prove that the equilibrium point of system (41) is the global asymptotic stable, i.e., .

Based on Property 3, the Laplace transformation of the system (41) can be written as

The characteristic equation of the system (42) can be written as

Assuming that equation (43) has pure imaginary root s = σ i = |σ|(cos(π/2) + i sin(± π/2)), where σ is a real number. Substituting it into Eq. (43), one has

Discussing the real part and imaginary part of Eq. (44) respectively, we have

By utilizing the properties of trigonometric functions, we have

Then, combining the real part and imaginary part, one has

Considering |σ|α as variable of Eq. (47), the discriminant of Eq. (47) can be written as

Since 0 < α < 1 and , Δ < 0 which implies that equation (47) has no solution, i.e., the characteristic equation of Eq. (41) has no pure imaginary roots for any τj > 0.

Based on Lemma 4, the zero solution of system (41) is Lyapunov-global asymptotic stable. According to Lemma 2, the zero solution of error system (16) is Lyapunov-global asymptotic stable. Hence, the global asymptotic stable of error system (16) can be achieved. This completes the proof.

4. Numerical examples

In this section, an examples is provided to illustrate the validity of results obtained in this paper.

The parametric uncertainties Δdi(t) = Δaij(t) = Δbij(t) = 0.1 sin(t); The external input I1 = I2 = I3 = 0, and the transmission delays τ1 = 0.1, τ2 = 0.08, and τ3 = 0.11; The initial condition of the system (49) is x(0) = (−0.2,0.15,−0.1)T. Under the above parameters, the dynamical behavior of the drive system (49) is depicted in Fig. 1.

Fig. 1. Phase plot of drive system (49) with initial condition x(0) = (−0.2,0.15,−0.1)T.

Considering the following system as the response system, which is defined by

where the initial condition of the system (50) is y(0) = (0.5,−0.5,0.5)T. Under these parameters, the phase trajectories of response system (50) without controller is shown in Fig. 2.

Fig. 2. Phase plot of response system (50) with initial condition y(0) = (0.5,−0.5,0.5)T and without the controller.

In controller (17), the parameters can be choose as , , , , ι1 = 7.3, ι2 = 10.8, and ι3 = 8.3. It is easy to verify that these values satisfy the conditions of Theorem 1. The drive–response systems (49) and (50) can achieve global finite-time Mittag–Leffler synchronization under the controller (17), which is shown in Figs. 3 and 4. Meanwhile, the time bound T* = 0.2433 is evaluated based on Theorem 1.

Fig. 3. State trajectories of drive–response system with the initial conditions x(0) = (−0.2,0.15,−0.1)T and y(0) = (0.5,−0.5,0.5)T under the controller (17).
Fig. 4. State trajectories of synchronization errors e1(t), e2(t), and e3(t) under the controller (17).

In controller (36), the parameters can be designed as k1 = k2 = k3 = 20, q1 = 2.48, q2 = 6.63, and q3 = 7.17. Obviously, these values satisfy the conditions of Corollary 4. The drive system (49) and response system (50) can achieve global asymptotic synchronization, which is demonstrated in Figs. 5 and 6. In Fig. 6, the synchronization errors converge to zero, which denote that the drive–response systems (49) and (50) are global asymptotic synchronization based on the controller (36).

Fig. 5. State trajectories of drive–response system with the initial conditions x(0) = (−0.2,0.15,−0.1)T and y(0) = (0.5,−0.5,0.5)T under the controller (36).
Fig. 6. State trajectories of synchronization errors e1(t), e2(t), and e3(t) under the controller (36).
5. Conclusion

The finite-time Mittag–Leffler synchronization for a class of FDMNN with parameters uncertainty and discontinuous activation functions has been considered. A series of sufficient conditions ensuring finite-time Mittag–Leffler synchronization of such systems are shown by designing a discontinuous feedback controller. In addition, the asymptotic synchronization has been achieved by using comparison theorem and selecting the appropriate parameters of designed controller. Compared with existing results, the obtained results of this paper are less conservative. It would be interesting to focus on the application of finite-time Mittag–Leffler synchronization of such discontinuous systems in image encryption. This topic goes beyond the scope of this paper and will be a challenging issue for future research.

Reference
[1] Zhu S Wang L D Duan S K 2017 Neurocomputing 227 147
[2] Hu X F Feng G Duan S K Liu L 2016 IEEE Trans. Neural Netw. Learn. Syst. 28 1889
[3] Li T S Duan S K Liu J Wang L D 2018 Neural Computing and Applications 30 1939
[4] Wen S P Zeng Z G Huang T W Zhang Y D 2013 IEEE Trans. Fuzzy Syst. 22 1704
[5] Wu A L Zeng Z G 2012 IEEE Trans. Neural Netw. Learn. Syst. 23 1919
[6] Xiao J Y Zhong S M 2018 Appl. Math. Comput. 323 145
[7] Wu A L Zeng Z G 2014 Neural Netw. 49 11
[8] Yang X S Cao J D Liang J L 2016 IEEE Trans. Neural Netw. Learn. Syst. 28 1878
[9] Ding Z X Zeng Z G Zhang H Wang L M Wang L H 2019 Neurocomputing 351 51
[10] Ding Z X Zeng Z G Wang L M 2017 IEEE Trans. Neural Netw. Learn. Syst. 29 1477
[11] Garza-Flores E Alvarez-Borrego J 2018 J. Mod. Opt. 65 1634
[12] Zhang Y D Yang X J Cattani C Rao R V Wang S H Phillips P 2016 Entropy 18 77
[13] Shen K M Yu W 2018 IEEE Trans. Signal Process. 66 2631
[14] Mashayekhi S Miles P Hussaini M Y Oates W S 2018 J. Mech. Phys. Solids 111 134
[15] Wu A L Zeng Z G 2017 IEEE Trans. Neural Netw. Learn. Syst. 28 206
[16] Wei H Z Li R X Chen C R Tu Z W 2017 Neural Process. Lett. 45 379
[17] Bao H B Cao J D Kurths J 2018 Nonlinear Dyn. 94 1215
[18] Wan L G Zhan X S Gao H L Yang Q S Han T Ye M J 2019 Int. J. Syst. Sci. 50 1
[19] Chen L P Huang T W Machado J A Lopes A M Chai Y Wu R C 2019 Neural Netw. 118 289
[20] Chen L P Wu R C Cao J D Liu J B 2015 Neural Netw. 71 37
[21] Zhang W W Cao J D Wu R C Chen D Y Alsaadi F E 2018 Chaos, Solitons and Fractals 117 76
[22] Zhao W Wu H Q 2018 Adv. Difference. Equ. 2018 213
[23] Chen C Ding Z X 2019 Discrete Dyn. Nat. Soc. 2019 8743482
[24] Chen L P Wu R C He Y G Yin L S 2015 Appl. Math. Comput. 257 274
[25] Forti M Nistri P 2003 IEEE Trans. Circuits Syst. I-Regul. Pap. 50 1421
[26] Zhang L Z 2019 Physica 531 121756
[27] Garcia-Ojalvo J Roy R 2001 Phys. Rev. Lett. 86 5204
[28] Wu G C Deng Z G Baleanu D Zeng D Q 2019 An Interdisciplinary Journal of Nonlinear Science 29 083103
[29] Li R Chu T G 2012 IEEE Trans. Neural Netw. Learn. Syst. 23 840
[30] Chen L P Cao J D Wu R C Tenreiro Machado J A Lopes A M Yang H J 2017 Neural Netw. 94 76
[31] Ding Z X Shen Y 2016 Neural Netw. 76 97
[32] Chen C Li L X Peng H P Yang Y X Li T 2017 Neurocomputing 235 83
[33] Chen J J Zeng Z G Jiang P 2014 Neural Netw. 51 1
[34] Zhang W W Cao J D Alsaedi A Alsaadi F E 2017 Math. Probl. Eng. 2017 1804383
[35] Jia Y Wu H Q Cao J D 2019 Appl. Math. Comput. 30 124929
[36] Peng X Wu H Q 2018 Neural Comput. Appl. 2018
[37] Zheng M W Li L X Peng H P Xiao J H Yang Y X Zhang Y P Zhao H 2018 Commun. Nonlinear Sci. Numer. Simul. 59 272
[38] Xiao J Y Zhong S M Li Y T Xu F 2017 Neurocomputing 219 431
[39] Li X F Fang J Zhang W B Li H Y 2018 Neurocomputing 316 284
[40] Zheng M W Li L X Peng H P Xiao J H Yang Y X Zhao H 2017 Nonlinear Dyn. 89 2641
[41] Velmurugan G Rakkiyappan R Cao J D 2016 Neural Netw. 73 36
[42] Diethelm K 2010 Springer Science & Business Media Berlin Springer-Verlag 49 10.1007/978-3-642-14574-2
[43] Zhang S Yu Y G Wang H 2015 Nonlinear Anal.-Hybrid Syst. 16 104
[44] Gu Y J Yu Y G Wang H 2016 Journal of the Franklin Institute 353 3657
[45] Filippov A F 2013 Springer Science & Business Media Netherlands Springer 48 10.1007/978-94-015-7793-9
[46] Aubin J Cellina A 2012 Springer Science & Business Media Berlin Springer-Verlag 139 10.1007/978-3-642-69512-4
[47] Li Y Chen Y Q Podlubny I 2009 Automatica 45 1965
[48] Li Y Chen Y Q Podlubny I 2010 Comput. Math. Appl. 59 1810
[49] Lam H Leung F F 2006 Int. J. Bifur. Chaos 16 1435
[50] Bao H B Cao J D 2015 Neural Netw. 63 1
[51] Peng X Wu H Q Cao J D 2019 IEEE Trans. Neural Netw. Learn. Syst. 30 2123
[52] Peng X Wu H Q Song K Shi J X 2017 Neural Netw. 94 46